(0 19 15)(1 17 3)(2 11 9)(4 16 7)(5 13 8)(6 20 18)(10 14 12)
ALLOWS (11/8)-SEQUENCE
1: (6 18 20)
(0 19 15)(1 17 3)(2 11 9)(4 16 7)(5 13 8)(6 18 20)(10 14 12)
2: (0 19 15)
(0)(1 17 3)(2 11 9)(4 16 7)(5 13 8)(6 18 20)(10 14 12)(15)(19)
3: (6 18 20)
(0)(1 17 3)(2 11 9)(4 16 7)(5 13 8)(6)(10 14 12)(15)(18)(19)(20)
4: (4 16 7)
(0)(1 17 3)(2 11 9)(4)(5 13 8)(6)(7)(10 14 12)(15)(16)(18)(19)(20)